Optimal. Leaf size=267 \[ \frac {47365 \sqrt {1-2 x} (5 x+3)^{5/2}}{36288 (3 x+2)^6}+\frac {185 (1-2 x)^{3/2} (5 x+3)^{5/2}}{1008 (3 x+2)^7}-\frac {(1-2 x)^{5/2} (5 x+3)^{5/2}}{24 (3 x+2)^8}-\frac {720833 \sqrt {1-2 x} (5 x+3)^{3/2}}{508032 (3 x+2)^5}+\frac {6796051494355 \sqrt {1-2 x} \sqrt {5 x+3}}{200741732352 (3 x+2)}+\frac {64983635965 \sqrt {1-2 x} \sqrt {5 x+3}}{14338695168 (3 x+2)^2}+\frac {372439373 \sqrt {1-2 x} \sqrt {5 x+3}}{512096256 (3 x+2)^3}-\frac {75045071 \sqrt {1-2 x} \sqrt {5 x+3}}{85349376 (3 x+2)^4}-\frac {106656830005 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {5 x+3}}\right )}{275365888 \sqrt {7}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.12, antiderivative size = 267, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 6, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.231, Rules used = {97, 149, 151, 12, 93, 204} \[ \frac {47365 \sqrt {1-2 x} (5 x+3)^{5/2}}{36288 (3 x+2)^6}+\frac {185 (1-2 x)^{3/2} (5 x+3)^{5/2}}{1008 (3 x+2)^7}-\frac {(1-2 x)^{5/2} (5 x+3)^{5/2}}{24 (3 x+2)^8}-\frac {720833 \sqrt {1-2 x} (5 x+3)^{3/2}}{508032 (3 x+2)^5}+\frac {6796051494355 \sqrt {1-2 x} \sqrt {5 x+3}}{200741732352 (3 x+2)}+\frac {64983635965 \sqrt {1-2 x} \sqrt {5 x+3}}{14338695168 (3 x+2)^2}+\frac {372439373 \sqrt {1-2 x} \sqrt {5 x+3}}{512096256 (3 x+2)^3}-\frac {75045071 \sqrt {1-2 x} \sqrt {5 x+3}}{85349376 (3 x+2)^4}-\frac {106656830005 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {5 x+3}}\right )}{275365888 \sqrt {7}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 93
Rule 97
Rule 149
Rule 151
Rule 204
Rubi steps
\begin {align*} \int \frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{(2+3 x)^9} \, dx &=-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {1}{24} \int \frac {\left (-\frac {5}{2}-50 x\right ) (1-2 x)^{3/2} (3+5 x)^{3/2}}{(2+3 x)^8} \, dx\\ &=-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}-\frac {1}{504} \int \frac {\sqrt {1-2 x} (3+5 x)^{3/2} \left (-\frac {10255}{4}+2075 x\right )}{(2+3 x)^7} \, dx\\ &=-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {\int \frac {\left (\frac {1842365}{8}-\frac {660675 x}{2}\right ) (3+5 x)^{3/2}}{\sqrt {1-2 x} (2+3 x)^6} \, dx}{9072}\\ &=-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {\int \frac {\left (\frac {191095155}{16}-\frac {69048825 x}{4}\right ) \sqrt {3+5 x}}{\sqrt {1-2 x} (2+3 x)^5} \, dx}{952560}\\ &=-\frac {75045071 \sqrt {1-2 x} \sqrt {3+5 x}}{85349376 (2+3 x)^4}-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {\int \frac {\frac {6505964655}{32}-\frac {2448530025 x}{8}}{\sqrt {1-2 x} (2+3 x)^4 \sqrt {3+5 x}} \, dx}{80015040}\\ &=-\frac {75045071 \sqrt {1-2 x} \sqrt {3+5 x}}{85349376 (2+3 x)^4}+\frac {372439373 \sqrt {1-2 x} \sqrt {3+5 x}}{512096256 (2+3 x)^3}-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {\int \frac {\frac {1231597014375}{64}-\frac {195530670825 x}{8}}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx}{1680315840}\\ &=-\frac {75045071 \sqrt {1-2 x} \sqrt {3+5 x}}{85349376 (2+3 x)^4}+\frac {372439373 \sqrt {1-2 x} \sqrt {3+5 x}}{512096256 (2+3 x)^3}+\frac {64983635965 \sqrt {1-2 x} \sqrt {3+5 x}}{14338695168 (2+3 x)^2}-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {\int \frac {\frac {146884711951425}{128}-\frac {34116408881625 x}{32}}{\sqrt {1-2 x} (2+3 x)^2 \sqrt {3+5 x}} \, dx}{23524421760}\\ &=-\frac {75045071 \sqrt {1-2 x} \sqrt {3+5 x}}{85349376 (2+3 x)^4}+\frac {372439373 \sqrt {1-2 x} \sqrt {3+5 x}}{512096256 (2+3 x)^3}+\frac {64983635965 \sqrt {1-2 x} \sqrt {3+5 x}}{14338695168 (2+3 x)^2}+\frac {6796051494355 \sqrt {1-2 x} \sqrt {3+5 x}}{200741732352 (2+3 x)}-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {\int \frac {8164047052732725}{256 \sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx}{164670952320}\\ &=-\frac {75045071 \sqrt {1-2 x} \sqrt {3+5 x}}{85349376 (2+3 x)^4}+\frac {372439373 \sqrt {1-2 x} \sqrt {3+5 x}}{512096256 (2+3 x)^3}+\frac {64983635965 \sqrt {1-2 x} \sqrt {3+5 x}}{14338695168 (2+3 x)^2}+\frac {6796051494355 \sqrt {1-2 x} \sqrt {3+5 x}}{200741732352 (2+3 x)}-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {106656830005 \int \frac {1}{\sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx}{550731776}\\ &=-\frac {75045071 \sqrt {1-2 x} \sqrt {3+5 x}}{85349376 (2+3 x)^4}+\frac {372439373 \sqrt {1-2 x} \sqrt {3+5 x}}{512096256 (2+3 x)^3}+\frac {64983635965 \sqrt {1-2 x} \sqrt {3+5 x}}{14338695168 (2+3 x)^2}+\frac {6796051494355 \sqrt {1-2 x} \sqrt {3+5 x}}{200741732352 (2+3 x)}-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}+\frac {106656830005 \operatorname {Subst}\left (\int \frac {1}{-7-x^2} \, dx,x,\frac {\sqrt {1-2 x}}{\sqrt {3+5 x}}\right )}{275365888}\\ &=-\frac {75045071 \sqrt {1-2 x} \sqrt {3+5 x}}{85349376 (2+3 x)^4}+\frac {372439373 \sqrt {1-2 x} \sqrt {3+5 x}}{512096256 (2+3 x)^3}+\frac {64983635965 \sqrt {1-2 x} \sqrt {3+5 x}}{14338695168 (2+3 x)^2}+\frac {6796051494355 \sqrt {1-2 x} \sqrt {3+5 x}}{200741732352 (2+3 x)}-\frac {720833 \sqrt {1-2 x} (3+5 x)^{3/2}}{508032 (2+3 x)^5}-\frac {(1-2 x)^{5/2} (3+5 x)^{5/2}}{24 (2+3 x)^8}+\frac {185 (1-2 x)^{3/2} (3+5 x)^{5/2}}{1008 (2+3 x)^7}+\frac {47365 \sqrt {1-2 x} (3+5 x)^{5/2}}{36288 (2+3 x)^6}-\frac {106656830005 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{275365888 \sqrt {7}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.30, size = 249, normalized size = 0.93 \[ \frac {1}{56} \left (\frac {999 (1-2 x)^{7/2} (5 x+3)^{7/2}}{98 (3 x+2)^7}+\frac {3 (1-2 x)^{7/2} (5 x+3)^{7/2}}{(3 x+2)^8}+\frac {12041 \left (614656 (1-2 x)^{5/2} (5 x+3)^{7/2}+11 (3 x+2) \left (307328 (1-2 x)^{3/2} (5 x+3)^{7/2}+11 (3 x+2) \left (115248 \sqrt {1-2 x} (5 x+3)^{7/2}-11 (3 x+2) \left (2744 \sqrt {1-2 x} (5 x+3)^{5/2}+55 (3 x+2) \left (7 \sqrt {1-2 x} \sqrt {5 x+3} (169 x+108)+363 \sqrt {7} (3 x+2)^2 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {5 x+3}}\right )\right )\right )\right )\right )\right )}{103262208 (3 x+2)^6}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.08, size = 176, normalized size = 0.66 \[ -\frac {319970490015 \, \sqrt {7} {\left (6561 \, x^{8} + 34992 \, x^{7} + 81648 \, x^{6} + 108864 \, x^{5} + 90720 \, x^{4} + 48384 \, x^{3} + 16128 \, x^{2} + 3072 \, x + 256\right )} \arctan \left (\frac {\sqrt {7} {\left (37 \, x + 20\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{14 \, {\left (10 \, x^{2} + x - 3\right )}}\right ) - 14 \, {\left (61164463449195 \, x^{7} + 288163475473440 \, x^{6} + 581931572602156 \, x^{5} + 652979564561296 \, x^{4} + 439702534402320 \, x^{3} + 177688060285568 \, x^{2} + 39899303549504 \, x + 3840133416192\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{11565367296 \, {\left (6561 \, x^{8} + 34992 \, x^{7} + 81648 \, x^{6} + 108864 \, x^{5} + 90720 \, x^{4} + 48384 \, x^{3} + 16128 \, x^{2} + 3072 \, x + 256\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 8.61, size = 600, normalized size = 2.25 \[ \frac {21331366001}{7710244864} \, \sqrt {70} \sqrt {10} {\left (\pi + 2 \, \arctan \left (-\frac {\sqrt {70} \sqrt {5 \, x + 3} {\left (\frac {{\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}^{2}}{5 \, x + 3} - 4\right )}}{140 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}\right )\right )} - \frac {8857805 \, \sqrt {10} {\left (36123 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{15} + 77544040 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{13} + 72311503040 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{11} - 37368091174400 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{9} - 10615979648512000 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{7} - 1587382114734080000 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{5} - 133456146460672000000 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{3} - \frac {4874050566389760000000 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}{\sqrt {5 \, x + 3}} + \frac {19496202265559040000000 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}}{413048832 \, {\left ({\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{2} + 280\right )}^{8}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.03, size = 442, normalized size = 1.66 \[ \frac {\sqrt {-2 x +1}\, \sqrt {5 x +3}\, \left (2099326384988415 \sqrt {7}\, x^{8} \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+11196407386604880 \sqrt {7}\, x^{7} \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+856302488288730 \sqrt {-10 x^{2}-x +3}\, x^{7}+26124950568744720 \sqrt {7}\, x^{6} \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+4034288656628160 \sqrt {-10 x^{2}-x +3}\, x^{6}+34833267424992960 \sqrt {7}\, x^{5} \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+8147042016430184 \sqrt {-10 x^{2}-x +3}\, x^{5}+29027722854160800 \sqrt {7}\, x^{4} \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+9141713903858144 \sqrt {-10 x^{2}-x +3}\, x^{4}+15481452188885760 \sqrt {7}\, x^{3} \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+6155835481632480 \sqrt {-10 x^{2}-x +3}\, x^{3}+5160484062961920 \sqrt {7}\, x^{2} \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+2487632843997952 \sqrt {-10 x^{2}-x +3}\, x^{2}+982949345326080 \sqrt {7}\, x \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+558590249693056 \sqrt {-10 x^{2}-x +3}\, x +81912445443840 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+53761867826688 \sqrt {-10 x^{2}-x +3}\right )}{11565367296 \sqrt {-10 x^{2}-x +3}\, \left (3 x +2\right )^{8}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.36, size = 409, normalized size = 1.53 \[ \frac {39793036595}{30359089152} \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {5}{2}} + \frac {3 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {7}{2}}}{56 \, {\left (6561 \, x^{8} + 34992 \, x^{7} + 81648 \, x^{6} + 108864 \, x^{5} + 90720 \, x^{4} + 48384 \, x^{3} + 16128 \, x^{2} + 3072 \, x + 256\right )}} + \frac {999 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {7}{2}}}{5488 \, {\left (2187 \, x^{7} + 10206 \, x^{6} + 20412 \, x^{5} + 22680 \, x^{4} + 15120 \, x^{3} + 6048 \, x^{2} + 1344 \, x + 128\right )}} + \frac {12041 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {7}{2}}}{21952 \, {\left (729 \, x^{6} + 2916 \, x^{5} + 4860 \, x^{4} + 4320 \, x^{3} + 2160 \, x^{2} + 576 \, x + 64\right )}} + \frac {445517 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {7}{2}}}{307328 \, {\left (243 \, x^{5} + 810 \, x^{4} + 1080 \, x^{3} + 720 \, x^{2} + 240 \, x + 32\right )}} + \frac {52823867 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {7}{2}}}{17210368 \, {\left (81 \, x^{4} + 216 \, x^{3} + 216 \, x^{2} + 96 \, x + 16\right )}} + \frac {984147053 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {7}{2}}}{240945152 \, {\left (27 \, x^{3} + 54 \, x^{2} + 36 \, x + 8\right )}} + \frac {7958607319 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {7}{2}}}{6746464256 \, {\left (9 \, x^{2} + 12 \, x + 4\right )}} - \frac {712927441325}{20239392768} \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {3}{2}} x + \frac {1368574460935}{40478785536} \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {3}{2}} - \frac {1321083986311 \, {\left (-10 \, x^{2} - x + 3\right )}^{\frac {5}{2}}}{121436356608 \, {\left (3 \, x + 2\right )}} + \frac {163070359925}{963780608} \, \sqrt {-10 \, x^{2} - x + 3} x + \frac {106656830005}{3855122432} \, \sqrt {7} \arcsin \left (\frac {37 \, x}{11 \, {\left | 3 \, x + 2 \right |}} + \frac {20}{11 \, {\left | 3 \, x + 2 \right |}}\right ) - \frac {143678209015}{1927561216} \, \sqrt {-10 \, x^{2} - x + 3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {{\left (1-2\,x\right )}^{5/2}\,{\left (5\,x+3\right )}^{5/2}}{{\left (3\,x+2\right )}^9} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________